Catuscia Palamidessi: Z-Library में खोज करें

ज्ञान और संस्कृति के लिए आपका प्रवेश द्वार। सभी के लिए सुलभ।

Don't use scam websites

पुस्तकें (21)
सबसे लोकप्रिय
- इसके अनुसार क्रमबद्ध करें×
- सबसे लोकप्रिय
- सबसे अच्छा मिलान
- हाल ही में जोड़ी गई पुस्तकें
- शीर्षक के अनुसार (A-Z)
- शीर्षक के अनुसार (Z-A)
- साल के अनुसार
- फ़ाइल आकार ↓
- फ़ाइल आकार ↑
सूची
- सूची
- टेबल

1

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Springer Berlin Heidelberg

Arne Andersson, Jim Wilenius (auth.), Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 11.01 MB

0 / 0

english, 2009

2

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June

Formal Techniques for Distributed Objects, Components, and Systems: 34th IFIP WG 6.1 International Conference, FORTE 2014, Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Catuscia Palamidessi (eds.)

साल:

2014

भाषा:

english

फ़ाइल:

PDF, 4.97 MB

0 / 0

english, 2014

3

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Leslie G. Valiant (auth.), Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.)

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 9.74 MB

0 / 0

english, 2005

4

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 13.12 MB

0 / 0

english, 2000

5

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Morrisett (auth.), Catuscia Palamidessi (eds.)

साल:

2003

भाषा:

english

फ़ाइल:

PDF, 7.16 MB

0 / 0

english, 2003

6

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 7.27 MB

0 / 0

english, 2000

7

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

SOFSEM 2009: Theory and Practice of Computer Science: 35th Conference on Current Trends in Theory and Practice of Computer Science, à pindlerův Mlýn, Czech Republic, January 24-30, 2009. Proceedings

Springer Berlin Heidelberg

Arne Andersson, Jim Wilenius (auth.), Mogens Nielsen, Antonín Kučera, Peter Bro Miltersen, Catuscia Palamidessi, Petr Tůma, Frank Valencia (eds.)

साल:

2009

भाषा:

english

फ़ाइल:

PDF, 17.26 MB

0 / 0

english, 2009

8

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)

साल:

2012

भाषा:

english

फ़ाइल:

PDF, 2.41 MB

0 / 0

english, 2012

9

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Theory of Security and Applications: Joint Workshop, TOSCA 2011, Saarbrücken, Germany, March 31 - April 1, 2011, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Michael Backes, Cătălin Hriţcu, Matteo Maffei (auth.), Sebastian Mödersheim, Catuscia Palamidessi (eds.)

साल:

2012

भाषा:

english

फ़ाइल:

PDF, 2.47 MB

0 / 0

english, 2012

10

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 3.15 MB

0 / 0

english, 2013

11

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

Logic Programming: 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Greg Morrisett (auth.), Catuscia Palamidessi (eds.)

साल:

2003

भाषा:

english

फ़ाइल:

PDF, 12.26 MB

0 / 0

english, 2003

12

The Science Of Quantitative Information Flow

The Science Of Quantitative Information Flow

Mário S. Alvim, Konstantinos, Chatzikokolakis, Annabelle McIver, Carroll Morgan, Catuscia Palamidessi, Geoffrey S. Smith

साल:

2020

भाषा:

english

फ़ाइल:

PDF, 8.12 MB

0 / 0

english, 2020

13

Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Principles of Declarative Programming: 10th International Symposium, PLILP’98 Held Jointly with the 6th International Conference, ALP’98 Pisa, Italy, September 16–18, 1998 Proceedings

Springer-Verlag Berlin Heidelberg

Baoqiu Cui, Yifei Dong, Xiaoqun Du (auth.), Catuscia Palamidessi, Hugh Glaser, Karl Meinke (eds.)

साल:

1998

भाषा:

english

फ़ाइल:

PDF, 3.71 MB

0 / 0

english, 1998

14

Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday

Springer International Publishing

Franck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten (eds.)

साल:

2014

भाषा:

english

फ़ाइल:

PDF, 19.40 MB

0 / 0

english, 2014

15

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Programming Language Implementation and Logic Programming: 6th International Symposium, PLILP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Manuel Hermenegildo, Jaan Penjam (eds.)

साल:

1994

भाषा:

english

फ़ाइल:

DJVU, 4.36 MB

0 / 0

english, 1994

16

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Computational Logic — CL 2000: First International Conference London, UK, July 24–28, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

John Alan Robinson (auth.), John Lloyd, Veronica Dahl, Ulrich Furbach, Manfred Kerber, Kung-Kiu Lau, Catuscia Palamidessi, Luís Moniz Pereira, Yehoshua Sagiv, Peter J. Stuckey (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 17.77 MB

0 / 0

english, 2000

17

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)

साल:

1994

भाषा:

english

फ़ाइल:

PDF, 6.97 MB

0 / 0

english, 1994

18

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Automata, Languages and Programming: 32nd International Colloquium, ICALP 2005, Lisbon, Portugal, July 11-15, 2005. Proceedings

Springer-Verlag Berlin Heidelberg

Leslie G. Valiant (auth.), Luís Caires, Giuseppe F. Italiano, Luís Monteiro, Catuscia Palamidessi, Moti Yung (eds.)

साल:

2005

भाषा:

english

फ़ाइल:

PDF, 10.95 MB

0 / 0

english, 2005

19

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

CONCUR 2000 — Concurrency Theory: 11th International Conference University Park, PA, USA, August 22–25, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Natarajan Shankar (auth.), Catuscia Palamidessi (eds.)

साल:

2000

भाषा:

english

फ़ाइल:

PDF, 4.36 MB

0 / 0

english, 2000

20

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Algebraic and Logic Programming: 4th International Conference, ALP '94 Madrid, Spain, September 14–16, 1994 Proceedings

Springer-Verlag Berlin Heidelberg

Catuscia Palamidessi (auth.), Giorgio Levi, Mario Rodríguez-Artalejo (eds.)

साल:

1994

भाषा:

english

फ़ाइल:

DJVU, 3.18 MB

0 / 0

english, 1994

21

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Trustworthy Global Computing: 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Antoine Amarilli, Fabrice Ben Hamouda, Florian Bourse (auth.), Catuscia Palamidessi, Mark D. Ryan (eds.)

साल:

2013

भाषा:

english

फ़ाइल:

PDF, 2.88 MB

0 / 0

english, 2013